机译:第四届国际自动推理联席会议《自动推理杂志》特刊序言
机译:逻辑规则和推理的特殊问题简介:第2届国际规则和推理联席会议所选文件(RULEML + RR 2018)
机译:自动推理系统特刊序言
机译:“计算机安全:基础和自动推理”特刊的序言
机译:“真空镀膜机学会年度技术会议” 2019 SVC TechCon表面涂层和技术杂志特刊的部分论文
机译:网页布局自动推理
机译:特别问题的序言:从第5届超快结构动态发布的选定论文
机译:《自动推理杂志》特刊“安全协议分析的自动推理”前言
机译:科威特科学与工程期刊:科威特国际学报。专题文章第1期,1996年。并行和分布式计算会议的专题论文。 1995年3月举行